1. Advanced software technologies for post-Peta scale computing :
پدیدآورنده : Mitsuhia Sato, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software.,High performance computing.,Computer software.,High performance computing.
رده :
QA76
.
88
.
A38
2019
2. Advances in artificial intelligence :
پدیدآورنده : Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
3. Algorithms, Software and Hardware of Parallel Computers
پدیدآورنده : edited by Jozef Mikloško, Vadim Evgenich Kotov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
6
E358
1984
4. Applications of Evolutionary Computation :
پدیدآورنده : edited by Anna I. Esparcia-Alcázar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
5. Applied parallel and scientific computing :
پدیدآورنده : Kristján Jónasson (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Programmation parallèle (Informatique) -- Congrès.
6. Architecture of Computing Systems - ARCS 2013 :
پدیدآورنده : Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture -- Congresses.,Computer architecture.,Computer systems -- Congresses.
7. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
8. Automatic parallelization :
پدیدآورنده : Christoph W. Kessler, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Codage.,Parallel processing (Electronic computers)
رده :
QA76
.
58
C475
1994
9. Automatic parallelization for a class of regular computations
پدیدآورنده : Megson, G. M.
کتابخانه: (طهران)
موضوع : ، Parallel programming )Computer science(,، Automatic programming )Computer science(
رده :
QA
76
.
642
.
M43
1997
10. Automatic parallelization for a class of regular computations
پدیدآورنده : Megson, G. M.
کتابخانه: (طهران)
موضوع : Parallel programming )Computer science( , Automatic programming )Computer science(
رده :
QA
76
.
642
.
M43
1997
11. CONPAR 81 :
پدیدآورنده : edited by Wolfgang Händler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
12. Code Generation - Concepts, Tools, Techniques :
پدیدآورنده : edited by Robert Giegerich, Susan L. Graham.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
13. Communication-Based Systems
پدیدآورنده : edited by Günter Hommel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
14. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
15. Computer Aided Systems Theory - EUROCAST '95 :
پدیدآورنده : edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
16. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
17. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
18. Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده : Peter E. Lauer, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Functional programming )Computer science(,Congresses ، Parallel programming )Computer science(,Congresses ، Automatic theorem proving,Congresses ، Computer simulation
رده :
QA
76
.
L28
Vol
.
693
19. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
20. Genetic and Evolutionary Computation - GECCO 2003.
پدیدآورنده : Erick Cant-︢Paz
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ebooks -- UML.
